Pollack-inconsistency

HOL Zero's Solutions for Pollack-Inconsistency

HOL Zero is a basic theorem prover that aims to achieve the highest levels of reliability and trustworthiness through careful design and implementation of its core components. In this paper, we concentrate on its treatment of concrete syntax, explaining how it manages to avoid problems suffered in other HOL systems related to the parsing and pretty printing of HOL types, terms and theorems, wit...

Professor Bernhard Pollack (1865-1928) of Friedrich Wilhelm University, Berlin: neurohistologist, ophthalmologist, pianist.

This article highlights the life and work of Bernhard Pollack (1865-1928), a pioneer neurohistologist, ophthalmologist, and world-class pianist. In 1897, Pollack published the first standard manual on staining methods for the nervous system. Born into a Prussian-Jewish family, he received his piano education from the composer Moritz Moszkowski and his pathology education from Carl Weigert. Poll...

On inconsistency of a pairwise comparison matrix

Alternative Conditions to Time Inconsistency Equilibrium of an International Monetary Policy

Monetary policy rule is an approach to avoid time inconsistency problem as regarded by new classical economist to choose a time plan for policy making in order to maximize households’ well-being. The foundation of time inconsistency problem is not coincidence of expectations as an ex-ante variable, which is expected variable, with actual variable as an ex-post variable. Expectations in Finn K...

Policy Time-Inconsistency: A Comparison of Managed Floating Exchange Rate and Controlled Exchange Rate Regimes

Some empirical and theoretical studies have emphasized on fixed exchange rate regime in controlling time inconsistency, while others consider the role of target zone regime as an important factor. Thus there is no general consensus to decide which exchange rate regime may bring about less time-inconsistency. The main purpose of this study is to investigate policy time-inconsistency in exchange ...